3

Using static symbolic execution to detect buffer overflows

Year:
2017
Language:
english
File:
PDF, 1.03 MB
english, 2017
8

Scalable and accurate detection of code clones

Year:
2016
Language:
english
File:
PDF, 454 KB
english, 2016
20

Investigation of the systems Al2O3-Sm2O3and Al2O3-Gd2O3

Year:
1961
Language:
english
File:
PDF, 155 KB
english, 1961
24

Construction of speculative optimization algorithms

Year:
2008
Language:
english
File:
PDF, 247 KB
english, 2008
25

Multilevel static analysis for improving program quality

Year:
2017
Language:
english
File:
PDF, 361 KB
english, 2017
37

Thermodynamic aspects of a mutual effect during complex formation

Year:
1976
Language:
english
File:
PDF, 520 KB
english, 1976
42

IAEA Symposium on Fel-Pin Production for Pressurized-Water Reactors

Year:
1979
Language:
english
File:
PDF, 208 KB
english, 1979
48

A study of the systems BeO-Sm2O3and BeO-Gd2O3

Year:
1961
Language:
english
File:
PDF, 124 KB
english, 1961